- consistent interpretability
- мат.непротиворечивая интерпретируемость
English-Russian scientific dictionary. 2008.
consistent interpretability
Смотреть что такое "consistent interpretability" в других словарях:
Weak interpretability — is a special case of the concept of tolerance introduced by Giorgi Japaridze in 1992. Assume T and S are formal theories. Slightly simplified, T is said to be weakly interpretable in S if, and only if, the language of T can be translated into the … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
Tolerant sequence — In mathematical logic, a tolerant sequence is a sequence :T 1,...,T n of formal theories such that there are consistent extensions :S 1,...,S n of these theories with each S {i+1} interpretable in S i. Tolerance naturally generalizes from… … Wikipedia
Cotolerant sequence — In mathematical logic, a cotolerant sequence is a sequence of formal theories such that there are consistent extensions of these theories with each Si + 1 is cointerpretable in Si. Cotolerance naturally generalizes from sequences of theories to… … Wikipedia
Decidability (logic) — In logic, the term decidable refers to the decision problem, the question of the existence of an effective method for determining membership in a set of formulas. Logical systems such as propositional logic are decidable if membership in their… … Wikipedia
Illusory superiority — is a cognitive bias that causes people to overestimate their positive qualities and abilities and to underestimate their negative qualities, relative to others. This is evident in a variety of areas including intelligence, performance on tasks or … Wikipedia
Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… … Wikipedia
World Englishes — This article is about the classification of Englishes around the world. For Global English or World English, see International English. International Association for World Englishes World Englishes refers to the emergence of localised or… … Wikipedia
Knowledge Science — is the discipline of understanding the mechanics through which humans and software based machines know, learn, change, and adapt their own behaviors. Throughout recorded history, knowledge has been made explicit through symbols, text and graphics … Wikipedia
Water, Sanitation and Hygiene Monitoring Program — The Water, Sanitation and Hygiene Monitoring Program (WaSH MP) is a local initiative that is responsible for monitoring the enduring crisis in the water sector in the occupied Palestinian territory (oPt).OverviewIn a region already suffering… … Wikipedia
construction — con·struc·tion /kən strək shən/ n: the act or result of construing, interpreting, or explaining meaning or effect (as of a statute or contract) the construction placed upon an agreement J. D. Calamari and J. M. Perillo Merriam Webster’s… … Law dictionary
